Kotools Types
1.3.1
4.5.2
4.5.1
4.5.0
4.4.2
4.3.1
4.3.0
4.2.0
4.1.0
4.0.1
4.0.0
3.2.0
2.0.0
1.3.1
Kotools Types
/
kotools.types.number
/
NonZeroInt
/
times
times
infix operator
fun
times
(
other
:
Int
)
:
Int
infix operator
fun
times
(
other
:
NonZeroInt
)
:
NonZeroInt
infix operator
fun
times
(
other
:
PositiveInt
)
:
Int
infix operator
fun
times
(
other
:
StrictlyPositiveInt
)
:
NonZeroInt
infix operator
fun
times
(
other
:
NegativeInt
)
:
Int
infix operator
fun
times
(
other
:
StrictlyNegativeInt
)
:
NonZeroInt
Multiplies this
value
by the
other
value.